 $( $t
  htmldef "mychar as "mychareplacement";
 $)
 
